Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 50 of 2,939 (0.004 secs)
You searched for: (collection:bitsavers_mit OR mediatype:bitsavers_mit) AND -mediatype:collection
[1] 2 3 4 5 6 7 8 9 10 11     Next    Last
[texts]mit :: lcs :: tm :: MIT-LCS-TM-037
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-037
Keywords: floor; node; turing; simulation; storage; nodes; multidimensional; smm; arcs; head; ground floor; turing machine; turing machines; top floor; storage modification; storage plane; storage head; multidimensional turing; modification machines; massachusetts institute
Downloads: 63 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-035
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-035
Keywords: exp; algorithm; cosets; tty; input; program; subgroup; generators; overflow; interactive; cosets remain; interactive implementation; group relators; sample session; session number; performing organization; disk files; project mac; mathlab computer; lookahead overflow
Downloads: 60 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-032
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-032
Keywords: recursive; functions; theorem; embedding; operator; partial; serviced; countable; complexity; classes; recursive functions; total effective; partial order; embedding theorem; countable partial; complexity classes; security classification; operator embedding; effective operator; dense chains
Downloads: 51 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-031
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-031
Keywords: computation; modular; finite; integers; fft; dft; order; divides; fourier; rings; finite computation; modular rings; fourier transform; computation structure; fast fourier; computation structures; commutative ring; security classification; unclassified security; symbolic multivariate
Downloads: 55 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-029
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-029
Keywords: finite; automata; infinite; theorem; emptiness; proof; lemma; tree; rabin; automaton; infinite trees; emptiness problem; finite tree; project mac; infinite tree; tree automata; finite automaton; massachusetts institute; charles rackoff; unclassified security
Downloads: 59 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-024
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-024
Keywords: data; macaims; system; reference; relation; element; management; module; access; data management; management system; macaims data; data element; data elements; reference number; reference numbers; data base; standard form; element module
Downloads: 38 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-023
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-023
Keywords: data; rds; element; operations; sets; relation; relational; multics; rsm; management; data element; relation data; data bases; relational approach; strategy module; mit mac; element sets; data sets; data elements; basic set
Downloads: 46 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-019
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-019
Keywords: cell; ion; eel; ions; cells; ress; ructu; list; type; lisp; rat ions; mat ion; info mat; security classification; ructu res; paper describes; data concern; appl icat; add ress
Downloads: 48 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-017
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-017
Keywords: complexity; program; input; equivalence; programs; inputs; set; iff; valid; defined; input set; valid input; equivalence classes; complexity equivalence; equivalence class; complexity measures; complexity behavior; loop block; resource usage; input sets
Downloads: 44 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-016
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-016
Keywords: random; sequences; sequence; definition; theorem; recursive; sequential; infinite; set; function; sequential test; random sequences; place selection; recursively enumerable; characteristic function; recursive function; finite number; null set; infinite sequences; sequential tests
Downloads: 50 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-013
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-013
Keywords: multics; compiler; system; level; high; performance; languages; language; systems; address; file system; systems programming; high level; unnumbered blank; level language; machine language; large number; address space; level languages; large software
Downloads: 58 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-010
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-010
Keywords: data; design; building; computer; ices; project; oriented; subsystem; system; construction; civil engineering; building industry; data management; massachusetts institute; problem oriented; file structure; ices system; building design; data transfer; project oriented
Downloads: 72 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-012
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-012
Keywords: segment; file; user; system; management; segments; directory; memory; reference; referenced; file system; core memory; file management; local memory; segment number; working set; private data; search control; address space; directory entry
Downloads: 49 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-011
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-011
Keywords: message; routine; receive; character; procedure; buffer; error; user; send; received; unnumbered blank; error return; receive message; message procedure; send message; bad character; received response; scheduling routine; communications package; entry point
Downloads: 71 (1 review)
[texts]mit :: lcs :: tm :: MIT-LCS-TM-025
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-025
Keywords: data; system; user; ctss; mac; multics; macaims; computer; facilities; interactive; space rental; security classification; project mac; terminal eqpm; budgeted amount; supplies xerox; office supplies; helping people; type changes; programs developed
Downloads: 65 (1 review)
[texts]mit :: tx-0 :: memos :: M-5001-15 UT-3 Nov59
From the bitsavers.org collection, a scanned-in computer-related document.mit :: tx-0 :: memos :: M-5001-15 UT-3 Nov59
Downloads: 2
[texts]mit :: ctss :: Bulletin 75 Feb65
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ctss :: Bulletin 75 Feb65
Downloads: 2
[texts]mit :: whirlwind :: M-series :: M-2385 Biweekly Report August 21 1953
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: M-series :: M-2385 Biweekly Report August 21 1953
Downloads: 2
[texts]mit :: whirlwind :: DCL-series :: DCL-105 Tic Tac Toe Playing Routine Oct55
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: DCL-series :: DCL-105 Tic Tac Toe Playing Routine Oct55
Downloads: 4
[texts]mit :: ctss :: Bulletin 31 May64
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ctss :: Bulletin 31 May64
Downloads: 2
[texts]mit :: tx-0 :: memos :: M-5001-36 FLITII Jul61
From the bitsavers.org collection, a scanned-in computer-related document.mit :: tx-0 :: memos :: M-5001-36 FLITII Jul61
Downloads: 3
[texts]mit :: ctss :: Bulletin 60 Oct64
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ctss :: Bulletin 60 Oct64
Downloads: 2
[texts]mit :: tx-0 :: memos :: M-5001-06 newOrders May59
From the bitsavers.org collection, a scanned-in computer-related document.mit :: tx-0 :: memos :: M-5001-06 newOrders May59
Downloads: 2
[texts]mit :: ctss :: Bulletin 78 Mar65
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ctss :: Bulletin 78 Mar65
Downloads: 3
[texts]mit :: ctss :: Bulletin 35 Jun64
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ctss :: Bulletin 35 Jun64
Downloads: 2
[texts]mit :: whirlwind :: DCL-series :: DCL-007 The FL Flexowriter Code Binary Numerical Sequence
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: DCL-series :: DCL-007 The FL Flexowriter Code Binary Numerical Sequence
Downloads: 2
[texts]mit :: whirlwind :: DCL-series :: DCL-092 Proposed Additional Function for the Read-In Button Jul55
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: DCL-series :: DCL-092 Proposed Additional Function for the Read-In Button Jul55
Downloads: 2
[texts]mit :: whirlwind :: M-series :: M-1235 Operation of In-Out Control Aug51
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: M-series :: M-1235 Operation of In-Out Control Aug51
Downloads: 1
[texts]mit :: whirlwind :: DCL-series :: DCL-169 Biweekly Report March 31 1957
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: DCL-series :: DCL-169 Biweekly Report March 31 1957
Downloads: 2
[texts]mit :: ctss :: Bulletin 29 May64
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ctss :: Bulletin 29 May64
Downloads: 4
[texts]mit :: ai :: aim :: AIM-110
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-110
Keywords: curve; boundary; points; vidissector; segment; center; output; sina; bxy; scanning; straight lines; best fit; suitable values; scanning agent
Downloads: 29
[texts]mit :: ai :: aim :: AIM-833
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-833
Keywords: filter; regularization; gaussian; poggio; convolution; edge; optimal; yuille; function; data; second derivative; regularizing filter; edge detection; data points; regularization filter; variational principle; green function; cubic spline; convolution filter; regularization method
Downloads: 37
[texts]mit :: ai :: aim :: AIM-161
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-161
Keywords: procedure; device; interrupt; channel; console; manual; system; user; reference; devices; arm joint; top level; reference manual; inferior procedure; system call; procedure executing; interrupt request; effective address; system calls; left half
Downloads: 26
[texts]mit :: lcs :: tr :: MIT-LCS-TR-195
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-195
Keywords: length; tho; computation; theorem; iff; turing; complexity; formula; concatenation; lemma; computer science; accepting computation; turing machine; main theorem; real addition; fixed number; decision procedure; tho formula; true iff; scanning agent
Downloads: 48
[texts]mit :: lcs :: tr :: MIT-LCS-TR-065
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-065
Keywords: grammar; grammars; cfsm; canonical; strings; transition; characteristic; string; corresponding; transitions; canonical derivation; ahead sets; canonical form; left context; characteristic strings; input string; example grammar; abstract syntax; characteristic string; stack algorithm
Downloads: 45
[texts]mit :: ai :: aim :: AITR-472
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-472
Keywords: mathematical; knowledge; michener; theorem; items; concepts; dual; examples; example; structure; dimensional vector; open sets; mathematical knowledge; dual idea; model examples; knowledge base; three representation; dual items; finite dimensional; constructional derivation
Downloads: 28
[texts]mit :: whirlwind :: DCL-series :: DCL-035 Purchase Orders
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: DCL-series :: DCL-035 Purchase Orders
Keywords: servo; lab; meteorology; jrc; engo; farrar; toong; aeroelastic; servo lab; laning
Downloads: 29
[texts]mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 19 Defstruct
From the bitsavers.org collection, a scanned-in computer-related document.mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 19 Defstruct
Keywords: die; defstruct; structure; tlie; named; array; constructor; option; symbol; macro; accessor functions; die structure; machine manual; constructor macro; named structure; byte fields; die constructor; die named; lisp machine; named structures
Downloads: 8
[texts]mit :: lcs :: tr :: MIT-LCS-TR-177
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-177
Keywords: quota; segment; chapter; virtual; paging; cell; manager; memory; control; resource; demand paging; file system; virtual memory; segment support; quota cell; quota cells; primary memory; memory manager; resource control; paging manager
Downloads: 38
[texts]mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 02 PrimObjTyp
From the bitsavers.org collection, a scanned-in computer-related document.mit :: cadr :: chinual 5thEd Jan83 :: chinualJan83 02 PrimObjTyp
Keywords: arg; returns; argument; lisp; function; functionp; symbol; predicates; equal; typep; machine manual; arg returns; lisp machine; compiled code; data type
Downloads: 22
[texts]mit :: lcs :: tm :: MIT-LCS-TM-646
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-646
Keywords: versatility; architecture; versabench; benchmark; locality; temporal; desktop; benchmarks; data; applications; versatility metric; versabench suite; temporal locality; international symposium; desktop integer; benchmark suite; data spatial; instruction temporal; spatial locality; computer architecture
Downloads: 31
[texts]mit :: ai :: aim :: AITR-354
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-354
Keywords: data; segment; flow; programming; plan; object; specs; program; segments; output; data base; hash table; data flow; surface plan; control flow; deductive system; symbolic evaluation; deep plan; purpose links; data objects
Downloads: 24
[texts]mit :: ai :: aim :: AIM-175
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-175
Keywords: reject; error; tradeoff; rejection; curve; integral; optimum; recognition; empirical; probability; system design; reject tradeoff; tradeoff curve; recognition system; error rate; optimum recognition; practical implications; reject curve; rejection threshold; recognition systems
Downloads: 38
[texts]mit :: whirlwind :: M-series :: M-1733 A Word-by-Word Mode of Operation for the Paper Tape Punch Nov52
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: M-series :: M-1733 A Word-by-Word Mode of Operation for the Paper Tape Punch Nov52
Keywords: printer; select; punch; characters; listed; character; allow; addresses; croup; orders; select printer; operate properly; three characters; tape punch; paper tape
Downloads: 22
[texts]mit :: ai :: aim :: AIM-530
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-530
Keywords: esi; convex; objects; object; faces; representation; polyhedron; spherical; points; sphere; massachusetts institute; esi representation; spherical image; esi points; enhanced spherical; adjacent points; spherical images; surface area; convex polyhedron; surface normal
Downloads: 40
[texts]mit :: lcs :: tm :: MIT-LCS-TM-039
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tm :: MIT-LCS-TM-039
Keywords: computable; polynomial; theorem; turing; computing; binary; remark; iff; expression; expressions; open problems; turing machine; computable function
Downloads: 38
[texts]mit :: lcs :: tr :: MIT-LCS-TR-831
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-831
Keywords: leakage; energy; domino; sleep; dvt; circuit; dynamic; transistors; static; lvt; sleep energy; lvt dvt; active energy; leakage currents; leakage power; sleep transistors; reduce leakage; static output; leakage current; internal dynamic
Downloads: 39
[texts]mit :: ai :: aim :: AIM-383
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-383
Keywords: goldstein; theory; overview; spade; protocol; solving; computational; debugging; linguistic; planning; linguistic analogy; context free; problem solving; protocol analysis; massachusetts institute; computational linguistics; speech understanding; linguistic theory; artificial intelligence; top level
Downloads: 41
[texts]mit :: whirlwind :: R-series :: R-127 Whirlwind I Computer Block Diagrams Volume 1 Sep47
From the bitsavers.org collection, a scanned-in computer-related document.mit :: whirlwind :: R-series :: R-127 Whirlwind I Computer Block Diagrams Volume 1 Sep47
Keywords: storage; bus; counter; program; control; operation; accumulator; pulse; step counter; check register; shift left; gate tube; program counter; control switch; program register; bus bus; storage switch; arithmetic element
Downloads: 24
[texts]mit :: ai :: aim :: AITR-347
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-347
Keywords: goal; assertions; assertion; prove; procedural; antecedent; reasoning; theorem; inferences; deductive; common sense; search space; procedural deduction; control structure; data base; incomplete knowledge; deduction systems; theorem proving; artificial intelligence; procedural interpretations
Downloads: 31
[1] 2 3 4 5 6 7 8 9 10 11     Next    Last
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related creators

Related mediatypes

texts